|
1.
|
Software security-theories and systems
by Okada, Mitsuhiro. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 OKA] (1).
|
|
2.
|
Information and Communications Security : 5th International Conference, ICICS 2003, Huhehaote, China, October 10-13, 2003 : Proceedings
by Qing, Sihan | Gollmann, Dieter | Zhou, Jianying. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 QIN] (1).
|
|
3.
|
Model checking software : twelfth International SPIN Workshop, San Franscisco, CA, USA, August 22-24, 2005 : proceedings
by Godefroid, Patrick. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2005Availability: Items available for loan: [Call number: 004 GOD] (1).
|
|
4.
|
Logic Based Program Synthesis and Transformation: 12th International Workshop, LOPSTR 2002 Madrid, Spain, September 17-20, 2002 revised selected papers
by Leuschel, Michael. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 LEU] (1).
|
|
5.
|
Formal Methods at the Crossroads : From Panacea to Foundational Support : 10th anniversary colloquium of UNU/IIST, the International Institute for Software Technology of the United Nations University, Lisbon, Portugal, March 18-20, 2002 : revised pap
by Aichernig, Bernhard K | Maibaum, Tom. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2003Availability: Items available for loan: [Call number: 004 AIC] (1).
|
|
6.
|
Foundations of security analysis and design VI : FOSAD tutorial lectures
by Aldini, Alessandro | Gorrieri, Roberto. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2011Availability: Items available for loan: [Call number: 004 ALD] (1).
|
|
7.
|
Formal Techniques for Networked and Distributed Systems-FORTE 2003
by Konig, Hartmut | Heiner, Monika | Wolisz, Adam. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 KON] (1).
|